Modular analysis of gene networks by linear temporal logic
نویسندگان
چکیده
منابع مشابه
Modular analysis of gene networks by linear temporal logic
Despite a lot of advances in biology and genomics, it is still difficult to utilise such valuable knowledge and information to understand and analyse large biological systems due to high computational complexity. In this paper we propose a modular method with which from several small network analyses we analyse a large network by integrating them. This method is based on the qualitative framewo...
متن کاملApproximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs
We proposed a novel framework to analyse homeostasis of gene networks using linear temporal logic. We formulate a kind of homeostasis as strong satisfiability of reactive system specifications. Both behaviours and properties of gene networks are specified in linear temporal logic and homeostasis of the network is checked by strong satisfiability checkers. Though this framework is simple and app...
متن کاملModular Temporal Logic
Th erien and Wilke characterized the Until hierarchy of linear temporal logic in terms of aperiodic monoids. Here, a temporal operator able to count modulo q is introduced. Temporal logic augmented with such operators is found decidable as it is shown to express precisely the solvable regular languages. Natural hierarchies are shown to arise when modular and conventional operators are interleav...
متن کاملRuntime Analysis of Linear Temporal Logic Specifications
This report presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard...
متن کاملRegular Linear Temporal Logic
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LTL operator can be defined as a context in regular linear temporal logic. This implies that there is a (linear) translation from LTL to RLTL. Unlike LTL, regular linear temporal logic can define all ω-regular languages...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Integrative Bioinformatics
سال: 2013
ISSN: 1613-4516
DOI: 10.1515/jib-2013-216